Skepticism is one of the most enduring and profound of philosophical problems. With its roots in Plato and the Sceptics to Descartes, Hume, Kant and Wittgenstein, skepticism presents a challenge that every philosopher must reckon with. In this outstanding collection philosophers engage with skepticism in five clear sections: the philosophical history of skepticism in Greek, Cartesian and Kantian thought; the nature and limits of certainty; the possibility of knowledge and related problems such as perception and the debates between objective knowledge (...) and constructivism; the transcendental method as a response to skepticism and the challenge of naturalism; overcoming the skeptical challenge. (shrink)

Whenever science returns a confident and univocal answer to a question, Trumping Naturalism enjoins us to accept it. The majority of contemporary philosophers are sympathetic to this sort of position. Indeed, several have endorsed it or something very close to it. Arguments for Trumping Naturalism, however, are scant, the principal one being the Track Record Argument. The argument is based on the fact that in cases of conflict, science has a better track record than non-scientific forms of inquiry such as (...) philosophy. My chapter investigates this argument. I enumerate and assess several objections to the argument, from footling objections to stronger ones. My conclusion is that the Track Record Argument is not as strong as imagined. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not be, (...) even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.

Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

An essay review of Gila Sher's *Logical Consequence*.

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

Judgments of plausibility involve appearance of the truth or reasonableness, which is always a function of background knowledge. What anyone will countenance is conditioned by what they already know (or think they know). Marc Kirschner (professor of systems biology at Harvard) and John Gerhart (professor of molecular and cell biology at the University of California—Berkeley) aim to show that molecular, cellular, and developmental processes relevant to the generation of phenotypic variation in anatomy, physiology, and behavior demonstrate how evolutionary processes, especially (...) the origins of novelty, are plausible. The outstanding question for Kirschner and Gerhart concerns not the modification of structures but their origination—a question unanswered by the theoretical framework of the modern synthesis. (shrink)

In this chapter, we outline the interdisciplinary contributions that philosophy, psychology, and neuroscience have provided in the understanding of the self and identity, focusing on one specific line of burgeoning research: the importance of morality to perceptions of self and identity. Of course, this rather limited focus will exclude much of what psychologists and neuroscientists take to be important to the study of self and identity (that plethora of self-hyphenated terms seen in psychology and neuroscience: self-regulation, self-esteem, self-knowledge, self-concept, self-perception, (...) and more). We will likewise not engage with many canonical philosophical treatments of self and identity. But we will lay out a body of research that brings together classic themes in philosophy, psychology, and neuroscience to raise empirically tractable philosophical questions, and philosophically rigorous empirical questions about self and identity. More specifically, in section 4.2, we will review some recent research that has treated traditional philosophical questions about self and identity as empirical questions. Within this body of work, we will be primarily concerned with the finding that morality (more so than memory) is perceived to be at the core of self and identity. Then, in section 4.3, we raise and respond to a variety of questions and criticisms: first, about the operationalization of identity concepts in the empirical literature; second, about the generalizability of the moral self effect; third, about the direction of change; fourth, about connections with recent work in neuroscience; and fifth, about the target of evaluation. Finally, in section 4.4, we consider a variety of implications and applications of this work on the moral self. Throughout, we aim to highlight connections between classical themes in philosophy, psychology, and neuroscience, while also suggesting new directions for interdisciplinary collaboration. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

Background: Recent literature on addiction and judgments about the characteristics of agents has focused on the implications of adopting a ‘brain disease’ versus ‘moral weakness’ model of addiction. Typically, such judgments have to do with what capacities an agent has (e.g., the ability to abstain from substance use). Much less work, however, has been conducted on the relationship between addiction and judgments about an agent’s identity, including whether or to what extent an individual is seen as the same person after (...) becoming addicted. Methods: We conducted a series of vignette-based experiments (total N = 3,620) to assess lay attitudes concerning addiction and identity persistence, systematically manipulating key characteristics of agents and their drug of addiction. Conclusions: In Study 1, we found that US participants judged an agent who became addicted to drugs as being closer to ‘a completely different person’ than ‘completely the same person’ as the agent who existed prior to the addiction. In Studies 2-6, we investigated the intuitive basis for this result, finding that lay judgments of altered identity as a consequence of drug use and addiction are driven primarily by perceived negative changes in the moral character of drug users, who are seen as having deviated from their good true selves. (shrink)

In this paper, we intend to promote an analysis of the use of the artificial language Heptapod B in Story of Your Life written by Ted Chiang and in its filmic adaptation, Arrival, written by Eric Heisserer and directed by Denis Villeneuve in relation to the authors’ views on the metaphysics of time. In both literary and filmic texts, the glossopoeia is used as a plot device upon which the alien race’s time perception is constructed and explicated in connexion with (...) the strong metaphor provided by Fermat’s principle of least time. Throughout the article, we discuss these hybrid interfaces of literature, cinema and science, researching the stories’ specific diegeses, the writers’ own elicitations as well as various texts on the Philosophy of time. The result consists of a comprehensive exegesis of the problematics generated by the narratives and an extensive philosophical debate on the subject. (shrink)

The role of evolutionary theory at the origin of life is an extensively debated topic. The origin and early development of life is usually separated into a prebiotic phase and a protocellular phase, ultimately leading to the Last Universal Common Ancestor. Most likely, the Last Universal Common Ancestor was subject to Darwinian evolution, but the question remains to what extent Darwinian evolution applies to the prebiotic and protocellular phases. In this review, we reflect on the current status of evolutionary theory (...) in origins of life research by bringing together philosophy of science, evolutionary biology, and empirical research in the origins field. We explore the various ways in which evolutionary theory has been extended beyond biology; we look at how these extensions apply to the prebiotic development of (proto)metabolism; and we investigate how the terminology from evolutionary theory is currently being employed in state-of-the-art origins of life research. In doing so, we identify some of the current obstacles to an evolutionary account of the origins of life, as well as open up new avenues of research. (shrink)

Ever since its inception, the theory of evolution has been reified into an “-ism”: Darwinism. While biologists today tend to shy away from the term in their research, the term is still actively used in the broader academic and societal contexts. What exactly is Darwinism, and how precisely are its various uses and abuses related to the scientific theory of evolution? Some call for limiting the meaning of the term “Darwinism” to its scientific context; others call for its abolition; yet (...) others claim the term refers to a myth-like story. In this paper we propose a conceptually grounded overview of the term. We show how the scientific dimension of Darwinism feeds into, and is influenced by, guises of Darwinism as a methodology and as an ethically and politically charged “worldview”. The full meaning of Darwinism, as well as how this meaning has changed over time, can only be understood through the complex interaction between these three dimensions. (shrink)

This volume provides a broad overview of issues in the philosophy of behavioral biology, covering four main themes: genetic, developmental, evolutionary, and neurobiological explanations of behavior. It is both interdisciplinary and empirically informed in its approach, addressing philosophical issues that arise from recent scientific findings in biological research on human and non-human animal behavior. Accordingly, it includes papers by professional philosophers and philosophers of science, as well as practicing scientists. Much of the work in this volume builds on presentations given (...) at the international conference, “Biological Explanations of Behavior: Philosophical Perspectives”, held in 2008 at the Leibniz Universität Hannover in Germany. The volume is intended to be of interest to a broad range of audiences, which includes philosophers (e.g., philosophers of mind, philosophers of biology, and metaethicists), as well as practicing scientists, such as biologists or psychologists whose interests relate to biological explanations of behavior. (shrink)

A number of debates in philosophy of biology and psychology, as well as in their respective sciences, hinge on particular views about the relationship between genotypes and phenotypes. One such view is that the genotype-phenotype relationship is relatively straightforward, in the sense that a genome contains the ?genes for? the various traits that an organism exhibits. This leads to the assumption that if a particular set of traits is posited to be present in an organism, there must be a corresponding (...) number of genes in that organism's genome to account for those traits. This assumption underlies what can be called the ?counting argument,? in which empirical estimates of the number of genes in a genome are used to support or refute particular hypotheses in philosophical debates about biology and psychology. In this paper, we assess the counting argument as it is used in discussions of the alleged massive modularity of the brain, and conclude that this argument cannot be upheld in light of recent philosophical work on gene concepts and empirical work on genome complexity. In doing so, we illustrate that there are those on both sides of the debate about massive modularity who rely on an incorrect view of gene concepts and the nature of the genotype-phenotype relationship. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

John Wilkins and Malte Ebach respond to the dismissal of classification as something we need not concern ourselves with because it is, as Ernest Rutherford suggested, mere ‘‘stamp collecting.’’ They contend that classification is neither derivative of explanation or of hypothesis-making but is necessarily prior and prerequisite to it. Classification comes first and causal explanations are dependent upon it. As such it is an important (but neglected) area of philosophical study. Wilkins and Ebach reject Norwood Russell Hanson’s thesis that (...) classification relies on observation that is theory-laden and deny the need for aetiological assumptions and historical reconstruction to justify its arrangement. What they offer instead is a significant (albeit controversial) contribution to the philosophical literature on classification, a pre-theoretic natural classification based on the observation of patterns in data of ready-made phenomena. Their notion of ready-made phenomena rests on a conception of tacit knowledge or know-how. This is evident in their distinction between strong Theory-dependence and na ̈ıve theory-dependence. Their small t-theory-dependence permits patterns of observation that facilitate know-how but does not rely on a domain-specific explanatory theory of their aetiology. Wilkins and Ebach suggest classification differs from theory building in that it is passive (whereas theory building is active). Classification is possible just because it does not require the sieve of theory to capture classes that are ‘‘handed to you by your cognitive dispositions and the data that you observe’’ (p. 18). Finding regularities sans-theory is just something we do and can do without any prior theory about the underlying causes or origins of the resultant regularities. Luke Howard’s classification of clouds serves as an exemplar of a passive, theory-free classification system and the periodic table and the DSM help to illustrate this type of non-aetiological patterning. A recurrent theme is the nature of naturalness. For Wilkins and Ebach, the conception of naturalness is not one that is based on the generation or discovery of natural kind categories popular in both the traditional metaphysics of Mill and Wittgenstein as well as updated notions within philosophy of biology such as Boyd’s Homeostatic Property Cluster kinds. Instead, Wilkins and Ebach define the naturalness of classification as the falling into hierarchical patterns, aligning the search for natural arrangement with the aim of systematics, and as something that is grounded in a cognitive task or activity. However, they leave the question of realism v. antirealism open. ‘‘In natural classification...we must have real relations no matter how we might interpret ‘real’’’ (p. 70). There is tension with regard to their ontological commitments as they vacillate between constructive, operationalist, and realist approaches. Wilkins and Ebach initially define real as that which is causal and important (pp. 70–71), and later as that which ‘‘depends in no way upon a mind or observer’’ (p. 122). This makes their claim that there was ‘‘no real theory involved [in the pre-Darwinian classifications of Jussieu and Adanson]’’ (p. 64) difficult to interpret. Cont’d……. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

I explore the view that the imago Dei is essential to us as humans but accidental to us as persons. To image God is to resemble God, and resemblance comes in degrees. This has the straightforward—and perhaps disturbing—implication that we can be more or less human, and possibly cease to be human entirely. Hence, I call it the spectrum view. I argue that the spectrum view is complementary to the Biblical data, helps explain the empirical reality of horrendous evil, and (...) offers an elegant rapprochement between the traditional view of hell and its rivals. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

Would the existence of extraterrestrial intelligent life conflict in any way with Christian belief? We identify six areas of potential conflict. If there be no conflict in any of these areas—and we argue ultimately there is not—we are confident in declaring that there is no conflict, period. This conclusion underwrites the integrity of theological explorations into the existence of ETI, which has become a topic of increasing interest among theologians in recent years.

Many philosophers have appealed to the PSR in arguments for a being that exists a se, a being whose explanation is in itself. But what does it mean, exactly, for something to have its explanation ‘in itself’? Contemporary philosophers have said next to nothing about this, relying instead on phrases plucked from the accounts of various historical figures. In this article, I analyse five such accounts – those of Anselm, Aquinas, Descartes, Spinoza, and Leibniz – and argue that none are (...) satisfactory. Should we abandon or restrict the PSR, then? I think that would be hasty, for many reasons. I therefore consider the prospects of explaining everything, including God, given the constraints of certain features of good explanations, and conclude with several observations about future approaches. (shrink)

This paper focuses on invasive therapeutic procedures, defined as procedures requiring the introduction of hands, instruments, or devices into the body via incisions or punctures of the skin or mucous membranes performed with the intent of changing the natural history of a human disease or condition for the better. Ethical and methodological concerns have been expressed about studies designed to evaluate the effects of invasive therapeutic procedures. Can such studies meet the same standards demanded of those, for example, evaluating pharmaceutical (...) agents? This paper describes a research project aimed at examining the interplay and sometimes apparent conflict between ethical standards for human research and standards for methodological rigor in trials of invasive procedures. The paper discusses how the authors plan to develop a set of consensus standards that, if met, would result in substantial and much-needed improvements in the methodological and ethical quality of such trials. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

I argue that Social Trinitarians can and should conceive of God as a group person. They can by drawing on recent theories of group agency realism that show how groups can be not just agents but persons distinct from their members – albeit, I argue, persons of a different kind. They should because the resultant novel view of the Trinity – that God is three ‘intrinsicist’ persons in one ‘functional’ person – is theologically sound, effectively counters the most trenchant criticisms (...) of Social Trinitarianism, and enjoys independent theological support from the biblical notion of ‘corporate personality’. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

O artigo oferece uma breve exposição da biografia e do contexto histórico do filósofo neoplatônico Damáscio (c. 458 - c. 538) para, na sequência, apresentar a tradução de um dos seus poemas líricos do período final de sua vida. O procedimento adotado justifica-se pelo caráter lutuoso e decididamente pessoal dos versos, nos quais Damáscio lamenta consigo próprio as perdas sofridas no decorrer de sua longa e fascinante vida. Como veremos, tais perdas estão, em verdade, diretamente ligadas ao colapso do mundo (...) antigo e ao derradeiro golpe proferido por Justiniano contra a filosofia helênica pagã. (shrink)

The question I wish to explore is this: Does idealism conflict with common sense? Unfortunately, the answer I give may seem like a rather banal one: It depends. What do we mean by ‘idealism’ and ‘common sense?’ I distinguish three main varieties of idealism: absolute idealism, Berkeleyan idealism, and dualistic idealism. After clarifying what is meant by common sense, I consider whether our three idealisms run afoul of it. The first does, but the latter two don’t. I conclude that while (...) Moore’s famous common sense critique is sound against external world skepticism, against Berkeleyan idealism and dualist idealism it is unavailing. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas. Os humanos evoluíram em estreito contato com a natureza, sendo o leite a primeira fonte de alimento desta espécie ao nascer. Durante milhares de anos, o leite rico em nutrientes, como fonte de alimento, era unicamente materno e só veio a ser consumido pelo homem após idade de amamentação com a domesticação dos animais, primeiramente às ovelhas (...) e as cabras há aproximadamente 13 mil anos, seguido da domesticação das vacas quatro mil anos depois. Desde então o leite tornou-se um alimento indispensável para o homem. O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas essenciais para a saúde humana. Este leite apresenta três vezes mais proteínas em relação ao leite de cabra e de vaca, sendo aquelas consideradas proteínas de alto valor biológico contribuindo para uma melhor digestibilidade. Outra característica é a conformação estrutural e a quantidade de micelas de caseína e suas subunidades, que são assim como o leite caprino, menores que as do leite bovino, proporcionando menor sensibilização às pessoas alérgicas. Estudos sugerem que o leite de ovelha pode ser considerado o substituto ideal do leite bovino para pessoas alérgicas ao leite bovino devido ao elevado teor dos principais componentes do leite e minerais. Entretanto, foi verificado que anticorpos IgE de pessoas alérgicas reconhecem as αS1-caseína, αS2-caseína e β-caseína de leite ovino e caprino, mas caseínas do leite bovino são raramente ou não reconhecidas. Além disso, os polimorfismos genéticos das proteínas do leite estão associados com os parâmetros quantitativos e qualitativos e desempenham um papel importante na indução de diferentes graus de reação alérgica. A coloração do leite de ovelha é intensamente branca e homogênea, o que o difere do leite de vaca, pois essa característica está associada à ausência de β-caroteno pigmento precursor do retinol (vitamina A) impedindo que o leite tenha coloração amarelada como no caso do leite bovino. No leite ovino, o β-caroteno apresenta-se na forma convertida da vitamina A que não possui coloração amarelada e essa característica possibilita a produção de diferentes variedades de queijo. A caseína no leite de ovelha compõe 80% do total de proteínas do leite dos ruminantes, enquanto que está presente em 50% da composição proteica do leite equino e em menor porcentagem no leite humano. A caseína do leite de ruminantes difere com relação às características de tamanho, hidratação e mineralização. As micelas de caseína do leite de ovelha possuem maior mineralização e menor hidratação, sendo mais estáveis ao aquecimento quando comparadas à micela de caseína do leite de vaca. Outra importante característica refere-se à conformação molecular e sequencial de aminoácidos com impacto sobre sua digestibilidade, qualidade nutricional e termoestabilidade proteica. As proteínas do leite de ovelha consistem em elevada quantidade de caseínas (resistente ao calor) e proteínas do soro (sensível ao calor) responsáveis pela textura e viscosidade de iogurtes. Tecnologicamente, elas têm propriedades únicas que permitem a fácil conversão do leite em iogurte e queijos, não sendo necessária a adição de sólidos na produção do iogurte, como leite em pó, ou concentração dos sólidos do leite por tecnologia de membrana. Estudos com variantes da caseína do leite ovino representam uma abordagem eficaz para identificar a associação de características de importância econômica e melhorar raças para a produção de proteína do leite específica. As características da caseína no leite de ovelha são particularmente interessantes devido ao número elevado de polimorfismo, alterando a expressão de genes e influenciando o processamento de queijos. Em adição, enzimas presente no leite de ovelha possui atividade proteolítica e lipolítica (quebra de proteínas e lipídios). Elas auxiliam na maturação de queijos - resultando em compostos de aroma e sabor típicos, tornando-os únicos em suas características. O sabor e o aroma do leite de ovelha são suaves e adocicados além de possuir uma textura cremosa devido aos pequenos glóbulos de gordura que apresentam tamanhos menores que 3,5 µm. Esta peculiaridade no tamanho dos glóbulos gordurosos do leite ovino propicia que esse seja digerido mais facilmente. O leite ovino apresenta também altas concentrações de ácidos graxos poli-insaturados com benefícios à saúde como isômeros de ácido linoleico conjugado (CLA) presentes em maior concentração nesta matriz comparado ao leite bovino que são o cis-9 trans-11 e o trans-10 cis-12, responsáveis por ações anticarcinogênica, antiaterogênico e antiobesidade. Ainda com relação aos lipídios do leite de ovelha, as lipases têm um papel importante na produção de leite na glândula mamária. As lipases naturais do leite catalisam e hidrolisam os triglicerídeos, produzindo ácidos graxos livres (AGL). A atividade das lipases, em leite ovino, é cerca de um décimo das do leite bovino. Além disso, o padrão de hidrólise da gordura de leite por ovinos apresenta maior taxa em relação aos triglicerídeos - contendo ácidos graxos de cadeia média em relação aos ácidos graxos de cadeia longa. Os níveis de AGL em queijos de leite ovino são o resultado do processo lipolítico que ocorre durante o período de maturação. Alguns produtos lácteos derivados usando como matéria-prima o leite de ovelha - como iogurte grego e queijos - foram descritos como possuindo peptídeos inibidores da enzima conversora da angiotensina (ECA), sendo a maioria derivada da subunidade β-caseína. Também, alguns peptídeos derivados da κ-caseína, resultante da hidrólise de leite ovino pela pepsina, tripsina e quimotripsina, exercem atividade antioxidante. Em queijos tradicionais derivados de ovelha, como o Scamorza, foram verificados diversos peptídeos com ação inibidora da ECA e ação antibacteriana. Nesse contexto, o leite de ovelha é uma rica fonte de nutrientes e seu principal uso é na produção de queijos devido ao elevado conteúdo de extrato seco total, que contribui com alto rendimento da massa. Todavia, esta matéria-prima permanece inexplorada pela indústria de laticínios com uma visão de alimento funcional, visto que o leite e seus derivados são reconhecidamente ótimos carreadores de fibras prebióticas e bactérias probióticas - que trazem benefícios ao consumidor favorecendo saúde e bem-estar. Nesse contexto, o leite de ovelha apresenta-se como um alimento de grande potencial e uma valiosa alternativa para a indústria de laticínios - que pode aumentar a diversidade de produtos oferecidos ao consumidor. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

What is the primary function of consciousness in the nervous system? The answer to this question remains enigmatic, not so much because of a lack of relevant data, but because of the lack of a conceptual framework with which to interpret the data. To this end, we have developed Passive Frame Theory, an internally coherent framework that, from an action-based perspective, synthesizes empirically supported hypotheses from diverse fields of investigation. The theory proposes that the primary function of consciousness is well-circumscribed, (...) serving the 'somatic nervous system[. For this system, consciousness serves as a frame that constrains and directs skeletal muscle output, thereby yielding adaptive behavior. The mechanism by which consciousness achieves this is more counterintuitive, passive, and “low level” than the kinds of functions that theorists have previously attributed to consciousness. Passive frame theory begins to illuminate (a) what consciousness contributes to nervous function, (b) how consciousness achieves this function, and (c) the neuroanatomical substrates of conscious processes. Our untraditional, action-based perspective focuses on olfaction instead of on vision and is 'descriptive' (describing the products of nature as they evolved to be) rather than 'normative' (construing processes in terms of how they should function). Passive frame theory begins to isolate the neuroanatomical, cognitive-mechanistic, and representational (e.g., conscious contents) processes associated with consciousness. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)